package net.wsnetwork.jawa.common;

import java.io.IOException;
import java.io.OutputStream;
import java.util.zip.GZIPOutputStream;

/**
 * GZIP output stream that allows modifying the compression level.
 *
 * @author cairns@colorado.edu (Brian Cairns)
 */
public class CustomGZIPOutputStream extends GZIPOutputStream {
    public CustomGZIPOutputStream(final OutputStream out) throws IOException {
        super(out);
    }

    public void setLevel(int level) {
        def.setLevel(level);
    }
}
